Buy Used and New John N. Crossley Books

Results for John N. Crossley

Showing 1 to 3 of 3 results
Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) by Iman Poernomo,John N. Crossley,Martin Wirsing

Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)

by Iman Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9780387237596

Format: Illustrated (436 pages)
Publisher: Springer
Published: 29 Jul 2005

Save for later

 
New : $211.44  
New : $211.44
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

 
New : $155.81  
New : $155.81